коммутантный изоморфизм

commutator-group isomorphism